home *** CD-ROM | disk | FTP | other *** search
- /*
- * $VER: TEXINDEX.MENU 4.0039 (22-Mai-95)
- */
-
- VERSIONCHECK 40000 "TEXINDEX.MENU"
-
-
- ITEMBAR
-
- ITEM "Index" ""
- GETSTRING "Geben sie in Suchmuster an:" "#?#?"
- SHOWINDEX _RS {@CASE};
-
- ITEM "TeX-Index" "J"
- SHOWINDEX "# \\(chapter|section|sub|item|begin{enum|begin{item|end{enum|end{item)#?" {@CASE};
-
- ITEM "TeX-Marken" ""
- SHOWINDEX "(#?\\label{#?" {@CASE};
-
-